Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...) propose a general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

Prenatal screening for foetal abnormalities such as Down's syndrome differs from other forms of population screening in that the usual aim of achieving health gains through treatment or prevention does not seem to apply. This type of screening leads to no other options but the choice between continuing or terminating the pregnancy and can only be morally justified if its aim is to provide meaningful options for reproductive choice to pregnant women and their partners. However, this aim should not be (...) understood as maximizing reproductive choice per se. Only if understood as allowing prospective parents to avoid suffering related to living with (a child with) serious disorders and handicaps can prenatal screening be a publicly or collectively funded programme. The alternative of moving prenatal testing outside the healthcare system into the private sector is problematic, as it makes these tests accessible only to those who can afford to pay for it. New developments in prenatal screening will have to be assessed in terms of whether and to what extent they either contribute to or undermine the stated aim of providing meaningful options for reproductive choice. In the light of this criterion, this article discusses the introduction of the new non‐invasive prenatal test (NIPT), the tendency to widen the scope of follow‐up testing, as well as the possible future scenarios of genome‐wide screening and ‘prenatal personalised medicine’. The article ends with recommendations for further debate, research and analysis. (shrink)

“Fair and equitable benefit-sharing” is one of the objectives of the UN Convention on Biological Diversity and the FAO International Treaty on Plant Genetic Resources for Food and Agriculture. In essence, benefit-sharing holds that countries, farmers, and indigenous communities that grant access to their plant genetic resources and/or traditional knowledge should share in the benefits that users derive from these resources. But what exactly is understood by “fair” and “equitable” in this context? Neither term is defined in the international treaties. (...) A complicating factor, furthermore, is that different motivations and perspectives exist with respect to the notion of benefit-sharing itself. This paper looks at six different approaches to benefit-sharing that can be extracted from the current debates on “Access and Benefit-Sharing.” These approaches form the basis of a philosophical reflection in which the different connotations of “fair and equitable” are considered, by analyzing the main principles of justice involved. Finally, the various principles are brought together in order to draw some conclusions as to how a fair and equitable benefit-sharing mechanism might best be realized. This results in several recommendations for policymakers. (shrink)

Until recently, the notions of function and multiple realization were supposed to save the autonomy of psychological explanations. Furthermore, the concept of supervenience presumably allows both dependence of mind on brain and non-reducibility of mind to brain, reconciling materialism with an independent explanatory role for mental and functional concepts and explanations. Eliminativism is often seen as the main or only alternative to such autonomy. It gladly accepts abandoning or thoroughly reconstructing the psychological level, and considers reduction if successful as equivalent (...) with elimination. In comparison with the philosophy of mind, the philosophy of biology has developed more subtle and complex ideas about functions, laws, and reductive explanation than the stark dichotomy of autonomy or elimination. It has been argued that biology is a patchwork of local laws, each with different explanatory interests and more or less limited scope. This points to a pluralistic, domain-specific and multi-level view of explanations in biology. Explanatory pluralism has been proposed as an alternative to eliminativism on the one hand and methodological dualism on the other hand. It holds that theories at different levels of description, like psychology and neuroscience, can co-evolve, and mutually influence each other, without the higher-level theory being replaced by, or reduced to, the lower-level one. Such ideas seem to tally with the pluralistic character of biological explanation. In biological psychology, explanatory pluralism would lead us to expect many local and non-reductive interactions between biological, neurophysiological, psychological and evolutionary explanations of mind and behavior. This idea is illustrated by an example from behavioral genetics, where genetics, physiology and psychology constitute distinct but interrelated levels of explanation. Accounting for such a complex patchwork of related explanations seems to require a more sophisticated and precise way of looking at levels than the existing ideas on (reductive and non-reductive) explanation in the philosophy of mind. (shrink)

The Movement of Showing investigates the idea, shared by Derrida, Hegel and Heidegger, that the value of their thought is not found in its results or conclusions, but in its "movement." All three describe the heart of their work in terms of a pathway, development, or movement rather than in terms of its propositions or conclusions. This seems to deprive their thought of a solid ground, and indeed deconstruction in particular is often criticized in this way. Johan de Jong argues (...) that this is a structural vulnerability that is both its weakness and the source of its value, tracing Derrida's indirect method from his early to later works, and considering his engagements with Hegel and Heidegger. His analysis locates an affinity among Hegel, Heidegger and Derrida in a shared distrust of externality and, against the grain of some Levinasian commentaries, argues that Derrida's indirectness results in an ethics of complicity. The Movement of Showing answers a central question that many polemics about continental philosophy and postmodernism revolve around concerning how, methodologically, one can philosophize responsibly. It shows the difference between critique and polemics, and why simply taking up a position for or against is insufficient in order to think responsibly. (shrink)

Notwithstanding its overwhelming descriptive power for existing data, it is not clear whether the kinematic theory of Plamondon & Alimi could generate new insights into biomechanical constraints and psychological processes underlying the way organisms trade off speed for accuracy. The kinematic model should elaborate on the role of neuromotor noise and on biomechanical strategies for reducing endpoint variability related to such noise.

Automated technologies and robots make decisions that cannot always be fully controlled or predicted. In addition to that, they cannot respond to punishment and blame in the ways humans do. Therefore, when automated cars harm or kill people, for example, this gives rise to concerns about responsibility-gaps and retribution-gaps. According to Sven Nyholm, however, automated cars do not pose a challenge on human responsibility, as long as humans can control them and update them. He argues that the agency exercised in (...) automated cars should be understood in terms of human–robot collaborations. This brief note focuses on the problem that arises when there are multiple people involved, but there is no obvious shared collaboration among them. Building on John Danaher’s discussion of command responsibility, it is argued that, although Nyholm might be right that autonomous cars cannot be regarded as acting on their own, independently of any human beings, worries about responsibility-gaps and retribution-gaps are still justified, because it often remains unclear how to allocate or distribute responsibility satisfactorily among the key humans involved after they have been successfully identified. (shrink)

Grondleggers van de pedagogie(k). Grote denkers over opvoeden: stemmen uit het verleden en hun weerklank in het heden en de toekomst? Onder deze titel heeft De Vereniging tot Bevordering van de Studie der Pedagogiek (VBSP) haar tweejaarlijks congres gehouden. De foto op de voorkant van deze bundel symboliseert het onderwerp treffend: een opvoedeling omringd door bekende opvoeders/denkers zoals Janusz Korczak, Lev Vygotskij, Hannah Arendt en Henriëtte Pimentel. Wat weten we nog van deze grote namen? Wat waren hun opvattingen, wat was (...) hun invloed en wat kunnen wij van ze leren? Lea Dasberg, de bekende Nederlandse pedagoog, heeft het belang van kennis van de historie destijds mooi verwoord in haar inaugurele rede. Men kijkt achterom om vooruit te zien. Zoals de automobilist in zijn achteruitkijkspiegel kijkt om verantwoord vooruit te rijden. Het begrijpen van samenhang tussen verleden en heden biedt perspectief op de toekomst. Deze bundel bevat artikelen over diverse opvoeders/denkers die zich met de pedagogie(k) bezig hebben gehouden. Hun ideëen kunnen ook nu en in de toekomst een waardevolle bijdrage leveren aan het vormgeven van pedagogische praktijken. Het boek kan in de opleidingen Pedagogiek, Pabo en Social Work worden gebruikt. Voor studenten zijn studievragen toegevoegd aan het eind van iedere bijdrage."--Page 4 of cover. (shrink)

Prenatal screening pathways, as nowadays offered in most Western countries consist of similar tests. First, a risk‐assessment test for major aneuploides is offered to pregnant women. In case of an increased risk, invasive diagnostic tests, entailing a miscarriage risk, are offered. For decades, only conventional karyotyping was used for final diagnosis. Moreover, several foetal ultrasound scans are offered to detect major congenital anomalies, but the same scans also provide relevant information for optimal support of the pregnancy and the delivery.Recent developments (...) in prenatal screening include the application of microarrays that allow for identifying a much broader range of abnomalities than karyotyping, and non‐invasive prenatal testing (NIPT) that enables reducing the number of invasive tests for aneuploidies considerably. In the future, broad NIPT may become possible and affordable.This article will briefly address the ethical issues raised by these technological developments. First, a safe NIPT may lead to routinisation and as such challenge the central issue of informed consent and the aim of prenatal screening: to offer opportunity for autonomous reproductive choice. Widening the scope of prenatal screening also raises the question to what extent ‘reproductive autonomy’ is meant to expand. Finally, if the same test is used for two different aims, namely detection of foetal anomalies and pregnancy‐related problems, non‐directive counselling can no longer be taken as a standard. Our broad outline of the ethical issues is meant as an introduction into the more detailed ethical discussions about prenatal screening in the other articles of this special issue. (shrink)

The present volume, a tribute to Harry Dondorp, contains contributions to the symposium held on the occasion of his farewell at the Vrije Universiteit Amsterdam. Written by four eminent scholars in the field of legal history, the contributions are related to his areas of interest: delictual liability, Romano-canonical procedure and comparative law texts. The contributors are Wolfgang Ernst, David Ibbetson, Yves Mausen and Andreas Thier. The introductory words are by Eltjo Schrage, Jan Hallebeek and Hylkje de Jong.

This paper analyses the relationship between Hobbes's theory of language and his theory of science and method. It is shown that Hobbes, at least in his Computatio sive Logica (1655), deviates in some measure from the traditional (Aristotelian) model of language. In this model speech is considered to be a fairly unproblematic expression of thought, which itself is independent of language. Basing himself on a nominalist account of universals, Hobbes states that the demonstration or assertion of universal propositions presupposes speech (...) (more especially, the use of names as marks). This insight turns out to be essential for Hobbes's (rationalist) view of scientific method. (shrink)

In this series of papers, I attempt to provide an answer to the question how the Babylonian scholars arrived at their mathematical theory of planetary motion. Paper I (de Jong in Arch Hist Exact Sci 73:1–37, 2019) was devoted to a study of system A theory of the outer planets. In this second paper, I will study system A theory of the planet Venus. All presently known ephemerides of Venus appear to have been written after 200 BC so that the (...) development of system A theory of Venus may have been a late development. On the other hand, there are several earlier texts in which the motion of Venus, going from one synodic phenomenon to the next one, is parametrized in quite some detail. At least six computational systems of Venus are known of which only two, systems A0 and A3, are genuine type-A systems. Both are based on the hypothesis that in exactly 1151 years Venus experiences 720 synodic phenomena of the same kind and that after this period of 1151 years Venus returns to exactly the same position in the sky. This period relation was probably derived from the observational fact that after 8 years Venus returns to a position in the zodiac that falls on average 2.5° short of its previous position. The study of the Babylonian planetary theory of Venus presented here will be primarily based on the system A3 theory of Venus because it is the most complete of the two systems. The parameters of the four step functions characterizing the system A3 model of the first and last appearances of Venus are known from previous studies of tablet BM 32599 (ACT 1050). Based on a database of synthetic observations of the first and last appearances (morning first, morning last, evening first and evening last) and the two stationary points (morning station and evening station) of Venus between 315 BC and 50 BC, I first discuss the observational material from the point of view of a Babylonian astronomer. This involves deriving synodic time intervals and synodic arcs from the observed dates and longitudes of Venus. Both vary with the position of Venus in the zodiac. This variation shows up most purely in the synodic arcs and synodic time intervals of Venus at its stations. The variation pattern of the synodic arcs and of the synodic time intervals at the first and last appearances of Venus differ considerably because they are strongly affected by atmospheric extinction and by the ecliptic latitude of Venus. A comparison of predictions of the first and last appearances of Venus computed according to system A3 with observations in the synthetic database shows that the models provide fairly accurate fits to the observations of evening last and morning first with typical standard deviations of about 2° but rather poor fits to the observations of morning last and evening first with typical standard deviations of about 7° and 4°. Quite surprisingly, it turns out that the morning first A3 model fits the observed longitudes of Venus at its stations almost perfectly, with standard deviations of about 1°. This suggests that observations of the stations of Venus must have been available to the Babylonian astronomer(s) who constructed the system A3 model of Venus and who computed the longitudes of Venus at its first and last appearances preserved in tablet BM 32599. This is quite puzzling because observations of the stations of Venus were definitely not part of the standard observing program of the Babylonian astronomers as we know it from the Astronomical Diaries. To resolve this problem, I propose that observations could have been made by some individual astronomer for his own use but that these observations never became part of the tradition of what was regularly observed and recorded in the Astronomical Diaries. It turns out that 25 years of observations of Venus (here illustrated for the years 203 BC to 178 BC) is sufficient for the construction of a system A model that perfectly fits the variation of the synodic arcs of Venus at its stations. By combining observed time intervals and known velocities of Venus, observations over this limited timespan can also be used to construct longitudes of Venus at its first and last appearances from previous known positions of Venus based on Normal Stars passages or from known positions at its stations. This is the only way in which positions of Venus at its first and last appearances can be determined because at its first and last appearances the sky is too bright for Normal Stars to be visible. I propose that the Babylonian system A3 models of Venus were based on longitudes constructed in this way. I finally suggest that the tablet, of which BM 32599 is the remainder, was filled line by line starting with a set of initial values in the bottom left-hand corner of the tablet and that the choice of these initial values was based on an observation of Venus at its evening station when it was exceptionally close to the Normal Star η Piscium in February 179 BC. Based on this choice of initial conditions, the tablet covers the years 403 BC to 170 BC and it may have been composed around 170 BC. It was probably computed with the purpose of creating a raster of longitudes with mazes of about 2.5° that could be used to predict future positions of Venus at its first or last appearance once a position at a previous first or last appearance was available. (shrink)

This paper develops propositions on the added value for SMEs of normatively based, employee-oriented corporate social responsibility (CSR). We suggest that not only motives but also the skills of the owner/manager as an institutional entrepreneur are critical in dealing with institutional variance. Also, the transfer of employee-oriented CSR can have positive results for SMEs that could imply that globalisation is not only a race to the bottom.

In this article I shall argue for an interpretation of Odyssey 19.393–466 as a flash-back taking place in the mind of Eurykleia at the moment she recognises Odysseus' scar. That Eurykleia somehow forms the connection between main story and digression has been suggested before, but so far other interpretations have been defended with more fervour. Most famous of these interpretations is the one given by E. Auerbach in the first chapter of his Mimesis. He had chosen 19.393–466 to illustrate his (...) thesis that in Homer everything is ‘fully externalized’ and that there is no background, only a ‘uniformly illuminated’ foreground. According to Auerbach the digression on the scar stands in complete isolation to its context. It is meant to ‘relax the tension’, to make the hearer/reader ‘forget what had just taken place during the footwashing’, and although it might have been presented as a recollection of Odysseus , this ‘subjectivisticperspectivistic procedure, creating a foreground and background’ was not chosen, being ‘entirely foreign to the Homeric style’. Some twenty years later this interpretation was challenged by A. Köhnken, who, however, stuck to the idea that the digression is not told from the restricted perspective of one of the characters but from the perspective of the omniscient narrator; he claims that foreground and background are marked as such through a difference in narrative style: ‘berichtende Erzählung’ for the digression itself and ‘szenische Darstellung’ for the context. I disagree with both points. (shrink)

It is argued that John Bickle’s Ruthless Reductionism is flawed as an account of the practice of neuroscience. Examples from genetics and linguistics suggest, first, that not every mind-brain link or gene-phenotype link qualifies as a reduction or as a complete explanation, and, second, that the higher (psychological) level of analysis is not likely to disappear as neuroscience progresses. The most plausible picture of the evolving sciences of the mind-brain seems a patchwork of multiple connections and partial explanations, linking anatomy, (...) mechanisms and functions across different domains, levels, and grain sizes. Bickle’s claim that only the molecular level provides genuine explanations, and higher level concepts are just heuristics that will soon be redundant, is thus rejected. In addition, it is argued that Bickle’s recasting of philosophy of science as metascience explicating empirical practices, ignores an essential role for philosophy in reflecting upon criteria for reduction and explanation. Many interesting and complex issues remain to be investigated for the philosophy of science, and in particular the nature of interlevel links found in empirical research requires sophisticated philosophical analysis. (shrink)

Inleiding in de moderne logica - met name de syllogistiek - bedoeld voor zelfstudie en inleidende academische cursussen.

In this series of papers I attempt to provide an answer to the question how the Babylonian scholars arrived at their mathematical theory of planetary motion. Papers I and II were devoted to system A theory of the outer planets and of the planet Venus. In this third and last paper I will study system A theory of the planet Mercury. Our knowledge of the Babylonian theory of Mercury is at present based on twelveEphemeridesand sevenProcedure Texts. Three computational systems of (...) Mercury are known, all of system A. System A1is represented by nineEphemeridescovering the years 190 BC to 100 BC and system A2by twoEphemeridescovering the years 310 to 290 BC. System A3is known from aProcedure Textand from Text M, anEphemerisof the last evening visibility of Mercury for the years 424 to 403 BC. From an analysis of the Babylonian observations of Mercury preserved in theAstronomical DiariesandPlanetary Textswe find: (1) that dates on which Mercury reaches its stationary points are not recorded, (2) that Normal Star observations on or near dates of first and last appearance of Mercury are rare (about once every twenty observations), and (3) that about one out of every seven pairs of first and last appearances is recorded as “omitted” when Mercury remains invisible due to a combination of the low inclination of its orbit to the horizon and the attenuation by atmospheric extinction. To be able to study the way in which the Babylonian scholars constructed their system A models of Mercury from the available observational material I have created a database of synthetic observations by computing the dates and zodiacal longitudes of all first and last appearances and of all stationary points of Mercury in Babylon between 450 and 50 BC. Of the data required for the construction of an ephemeris synodic time intervals Δt can be directly derived from observed dates but zodiacal longitudes and synodic arcs Δλ must be determined in some other way. Because for Mercury positions with respect to Normal Stars can only rarely be determined at its first or last appearance I propose that the Babylonian scholars used the relation Δλ = Δt −3;39,40, which follows from the period relations, to compute synodic arcs of Mercury from the observed synodic time intervals. An additional difficulty in the construction of System A step functions is that most amplitudes are larger than the associated zone lengths so that in the computation of the longitudes of the synodic phases of Mercury quite often two zone boundaries are crossed. This complication makes it difficult to understand how the Babylonian scholars managed to construct System A models for Mercury that fitted the observations so well because it requires an excessive amount of computational effort to find the best possible step function in a complicated trial and error fitting process with four or five free parameters. To circumvent this difficulty I propose that the Babylonian scholars used an alternative more direct method to fit System A-type models to the observational data of Mercury. This alternative method is based on the fact that after three synodic intervals Mercury returns to a position in the sky which is on average only 17.4° less in longitude. Using reduced amplitudes of about 14°–25° but keeping the same zone boundaries, the computation of what I will call 3-synarc system A models of Mercury is significantly simplified. A full ephemeris of a synodic phase of Mercury can then be composed by combining three columns of longitudes computed with 3-synarc step functions, each column starting with a longitude of Mercury one synodic event apart. Confirmation that this method was indeed used by the Babylonian astronomers comes from Text M (BM 36551+), a very early ephemeris of the last appearances in the evening of Mercury from 424 to 403 BC, computed in three columns according to System A3. Based on an analysis of Text M I suggest that around 400 BC the initial approach in system A modelling of Mercury may have been directed towards choosing “nice” sexagesimal numbers for the amplitudes of the system A step functions while in the later final models, dating from around 300 BC onwards, more emphasis was put on selecting numerical values for the amplitudes such that they were related by simple ratios. The fact that different ephemeris periods were used for each of the four synodic phases of Mercury in the later models may be related to the selection of a best fitting set of System A step function amplitudes for each synodic phase. (shrink)

The need for urgent, structural transformations to dominant food systems is increasingly recognized in research and policy. The direction these transformations take is in great part influenced by how the problem is framed and what future pathways become seen as plausible and desirable. Scientific knowledge and the organizations producing it hold considerable authority in suggesting what alternatives are or are not worth pursuing, ultimately shaping frames and in turn being shaped by them. This paper examines Brazil’s federal Agricultural Research Corporation (...) (Embrapa), a major contributor to technological advances that made Brazil into an agricultural powerhouse. We examine the ways in which Embrapa’s leadership has framed sustainable agriculture in its public communication and the wider implications for food systems transformation. Drawing from Embrapa news articles in the period 2015–2020, we identify four interrelated frames forming Embrapa’s prevalent position on sustainability. Our results show that while Embrapa promotes practices based on alternative approaches such as agroecology, its deeper framing often reflects the core assumptions driving dominant industrial food systems. This framing reinforces underlying logics of control, efficiency, and competition aligned with the productivist paradigm and excludes divergent perspectives that exist within the organization. (shrink)

Fenomenologie van het proces van bewijzen in strafzaken In deze bijdrage staat de activiteit van bewijzen in strafzaken centraal. Betoogd wordt dat de vigerende rationalistische opvatting van strafrechtelijk bewijzen eraan voorbij gaat dat het bewijzen zich allereerst voltrekt op een vóór-reflectief niveau. Het primaire blikveld van de mens is namelijk niet het objectiverende kennen, zoals in de rationele bewijstheorieën wordt voorondersteld, maar de praktische relatie tot de wereld. In dit kader wordt eerst de filosofische achtergrond van de rationalistische bewijsopvatting in (...) kaart gebracht, in het bijzonder de invloed van Aristoteles en Descartes. Vervolgens worden de daaruit voortkomende bevindingen aan de hand van ideeën en inzichten die zijn ontleend aan de existentiële fenomenologie kritisch gewaardeerd. Dit leidt tot de uiteenzetting van een hermeneutische opvatting van strafrechtelijk bewijzen. (shrink)

In psychological contract research, the side of the supervisor is strongly underexposed. However, supervisors are responsible for maintaining relationships with both their subordinates and senior management and are likely to be influenced by events unfolding in these relationships. In this study, we state that supervisor well-being may be affected by subordinates who fail to meet their obligations. This study adds to psychological contract research by developing an understanding of how and when subordinate psychological contract breach (PCB) is associated with supervisor (...) emotional exhaustion. Through a weekly diary survey among 56 Dutch supervisors, we test hypotheses about the relationships between subordinate PCB and the emotional exhaustion of the supervisor, the mediating role of perceptions of performance pressure by the supervisor in this relationship, and the moderating role of i-deals between the supervisor and senior management. Multilevel analyses support the first two hypotheses, but contradictory to our expectations show that the positive association between subordinate PCB and the emotional exhaustion of the supervisor is strengthened when the supervisor has high levels of i-deals with senior management. We discuss the findings in relation to their contribution to psychological contract theory. (shrink)